An analogue of Hilbert’s 10th problem for fields of meromorphic functions over non-Archimedean valued fields
نویسنده
چکیده
Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field M of meromorphic functions on K in the language L z of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation ‘‘the function x takes the value 0 at 0’’. Consequently, we prove that the positive existential theory of M in the language L z is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve E minus a point to E; for any elliptic curve defined over the field of constants. r 2003 Elsevier Science (USA). All rights reserved. MSC: 03B25; 03C40; 32P05
منابع مشابه
An analogue of Hilbert’s tenth problem for fields of meromorphic functions over non-Archimedean valued fields
Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field M of meromorphic functions on K in the language Lz of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove t...
متن کاملHENSELIAN RESIDUALLY p-ADICALLY CLOSED FIELDS
In (Arch. Math. 57 (1991), pp. 446–455), R. Farré proved a positivstellensatz for real-series closed fields. Here we consider p-valued fields 〈K, vp〉 with a non-trivial valuation v which satisfies a compatibility condition between vp and v. We use this notion to establish the p-adic analogue of real-series closed fields; these fields are called henselian residually p-adically closed fields. Fir...
متن کاملHigher Derivatives of L-series associated to Real Quadratic Fields
This text is a modified version of a chapter in a PhD thesis [21] submitted to Nottingham University in September 2006, which studied an approach to Hilbert’s twelfth problem inspired by Manin’s proposed theory of Real Multiplication [7]. In [20] we defined and studied a nontrivial notion of line bundles over Quantum Tori. In this text we study sections of these line bundles leading to a study ...
متن کاملUniversal Property of Non-archimedean Analytification
1.1. Motivation. Over C and over non-archimedean fields, analytification of algebraic spaces is defined as the solution to a quotient problem. Such analytification is interesting, since in the proper case it beautifully explains the essentially algebraic nature of proper analytic spaces with “many” algebraically independent meromorphic functions. (See [A] for the complex-analytic case, and [C3]...
متن کاملOn the zeroes of certain periodic functions over valued fields of positive characteristic
Let C be an algebraically closed field of positive characteristic p and complete with respect to a non-archimedean absolute value | . | and Λ ⊂ C a discrete Fp-submodule. Suppose there exists an Fp-basis {λ0, λ1, . . .} of Λ such that 0 < |λ0| < |λ1| < · · · and |λi| −→ ∞. For k ∈ N define the meromorphic function Ck,Λ(z) = ∑ λ∈Λ 1 (z − λ)k on C. We show that all the zeroes x of Ck,Λ satisfy (∗...
متن کامل